<header>デフォルトのドメイン名</header>これは、このレルムのホストが含まれていると想定されるデフォルトのドメインです。 <br>これは、V4プリンシパル名をV5プリンシパル名に変換するために必要です。 <hr>